منابع مشابه
Distributed Contingency Logic and Security
In information security, ignorance is not bliss. It is always stated that hiding the protocols (let the other be ignorant about it) does not increase the security of organizations. However, there are cases that ignorance creates protocols. In this paper, we propose distributed contingency logic, a proper extension of contingency (ignorance) logic. Intuitively, a formula is distributed contingen...
متن کاملA complete axiomatization of Euclidean strong non-contingency logic
This article provides a complete axiomatization for strong non-contingency logic over Euclidean frames, whose completeness proof is nontrivial. Our result answers an open question raised in [3].
متن کاملContingency-Based Equilibrium Logic
We investigate an alternative language for equilibrium logic that is based on the concept of positive and negative contingency. Beyond these two concepts our language has the modal operators of necessity and impossibility and the Boolean operators of conjunction and disjunction. Neither negation nor implication are available. Our language is just as expressive as the standard language of equili...
متن کاملContingency Planning in Linear Time Logic
The “planning as satisfiability” approach for classical planning establishes a correspondence between planning problems and logical theories, and, consequently, between plans and models. This work proposes a similar framework for contingency planning: considering contingent planning problems where the sources of indeterminism are incomplete knowledge about the initial state, non-inertial fluent...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1995
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1040248455